Optimal. Leaf size=40 \[ \frac {x}{a}-\frac {\log \left (a+b \left (F^{g (e+f x)}\right )^n\right )}{a f g n \log (F)} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.02, antiderivative size = 40, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 5, integrand size = 17, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.294, Rules used = {2320, 272, 36,
29, 31} \begin {gather*} \frac {x}{a}-\frac {\log \left (a+b \left (F^{g (e+f x)}\right )^n\right )}{a f g n \log (F)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 29
Rule 31
Rule 36
Rule 272
Rule 2320
Rubi steps
\begin {align*} \int \frac {1}{a+b \left (F^{g (e+f x)}\right )^n} \, dx &=\frac {\text {Subst}\left (\int \frac {1}{x \left (a+b x^n\right )} \, dx,x,F^{g (e+f x)}\right )}{f g \log (F)}\\ &=\frac {\text {Subst}\left (\int \frac {1}{x (a+b x)} \, dx,x,\left (F^{g (e+f x)}\right )^n\right )}{f g n \log (F)}\\ &=\frac {\text {Subst}\left (\int \frac {1}{x} \, dx,x,\left (F^{g (e+f x)}\right )^n\right )}{a f g n \log (F)}-\frac {b \text {Subst}\left (\int \frac {1}{a+b x} \, dx,x,\left (F^{g (e+f x)}\right )^n\right )}{a f g n \log (F)}\\ &=\frac {x}{a}-\frac {\log \left (a+b \left (F^{g (e+f x)}\right )^n\right )}{a f g n \log (F)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.10, size = 55, normalized size = 1.38 \begin {gather*} \frac {\log \left (\left (F^{g (e+f x)}\right )^n\right )-\log \left (a f \left (a+b \left (F^{g (e+f x)}\right )^n\right ) g n \log (F)\right )}{a f g n \log (F)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.03, size = 53, normalized size = 1.32
method | result | size |
norman | \(\frac {x}{a}-\frac {\ln \left (a +b \,{\mathrm e}^{n \ln \left ({\mathrm e}^{g \left (f x +e \right ) \ln \left (F \right )}\right )}\right )}{\ln \left (F \right ) a f g n}\) | \(44\) |
derivativedivides | \(\frac {\frac {\ln \left (\left (F^{g \left (f x +e \right )}\right )^{n}\right )}{a}-\frac {\ln \left (a +b \left (F^{g \left (f x +e \right )}\right )^{n}\right )}{a}}{g f \ln \left (F \right ) n}\) | \(53\) |
default | \(\frac {\frac {\ln \left (\left (F^{g \left (f x +e \right )}\right )^{n}\right )}{a}-\frac {\ln \left (a +b \left (F^{g \left (f x +e \right )}\right )^{n}\right )}{a}}{g f \ln \left (F \right ) n}\) | \(53\) |
risch | \(\frac {\ln \left (F^{g \left (f x +e \right )}\right )}{\ln \left (F \right ) a f g}-\frac {\ln \left (\left (F^{g \left (f x +e \right )}\right )^{n}+\frac {a}{b}\right )}{\ln \left (F \right ) a f g n}\) | \(62\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.30, size = 61, normalized size = 1.52 \begin {gather*} \frac {f g n x + g n e}{a f g n} - \frac {\log \left (F^{f g n x + g n e} b + a\right )}{a f g n \log \left (F\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 45, normalized size = 1.12 \begin {gather*} \frac {f g n x \log \left (F\right ) - \log \left (F^{f g n x + g n e} b + a\right )}{a f g n \log \left (F\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.06, size = 27, normalized size = 0.68 \begin {gather*} \frac {x}{a} - \frac {\log {\left (\frac {a}{b} + \left (F^{g \left (e + f x\right )}\right )^{n} \right )}}{a f g n \log {\left (F \right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 2.75, size = 74, normalized size = 1.85 \begin {gather*} \frac {\log \left ({\left | F \right |}^{f g n x} {\left | F \right |}^{g n e}\right )}{a f g n \log \left (F\right )} - \frac {\log \left ({\left | F^{f g n x} F^{g n e} b + a \right |}\right )}{a f g n \log \left (F\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 3.45, size = 44, normalized size = 1.10 \begin {gather*} -\frac {\ln \left (a+b\,{\left (F^{e\,g+f\,g\,x}\right )}^n\right )-f\,g\,n\,x\,\ln \left (F\right )}{a\,f\,g\,n\,\ln \left (F\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________